Tony Hoare - PDFSEARCH.IO - Document Search Engine

Tony Hoare
Results: 17

#	Item
11	http://golang.org Thursday, July 22, 2010 Go Rob Pike Emerging Languages Add to Reading List Source URL: cdn.oreillystatic.com Language: English - Date: 2010-07-22 14:57:53 Concurrent computing Procedural programming languages Process calculi Communicating sequential processes Occam Go Parallel computing Thread Tony Hoare Computing Software engineering Computer programming
12	Robert W Floyd, In Memoriam by Donald E. Knuth, Stanford University Nobody has inﬂuenced my scientiﬁc life more than Bob Floyd. Indeed, were it not for him, I might well have never become a computer scientist. In thi Add to Reading List Source URL: amturing.acm.org Language: English - Date: 2012-07-24 15:11:02 Software engineering Fellows of the British Computer Society Theoretical computer science Association for Computing Machinery ACM SIGACT Algorithm Donald Knuth The Art of Computer Programming Tony Hoare Computer science Computing Turing Award laureates
13	Draft of a paper submitted to a planned volume in honor of Tony Hoare’s 75-th birthday, 2009. Avoid a Void: The eradication of null dereferencing Bertrand Meyer+, Alexander Kogtenkov+, Emmanuel Stapf+ + Add to Reading List Source URL: docs.eiffel.com Language: English* - Date: 2009-08-04 15:25:12 Object-oriented programming Type theory Data types Procedural programming languages C++ Void safety Eiffel Void type ALGOL 68 Software engineering Computing Computer programming
14	Chapter 1 Insight, inspiration and collaboration C. B. Jones, A. W. Roscoe Abstract Tony Hoare’s many contributions to computing science are marked Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:55 Procedural programming languages Turing Award laureates Logic in computer science Fellows of the British Computer Society Programming language semantics Tony Hoare ALGOL Hoare logic Turing Award Software engineering Computing Programming language theory
15	Version 3, November[removed]E3X5 List of references for the Elliott 800 series and 503 computers. Add to Reading List Source URL: www.ourcomputerheritage.org Language: English - Date: 2012-01-26 19:24:52 Programming language theory Elliott Brothers Elliott 803 ALGOL Tony Hoare Elliot Computer Conservation Society Computing Software engineering Procedural programming languages
16	Oral History of Sir Antony Hoare Interviewed by: Add to Reading List Source URL: archive.computerhistory.org Language: English - Date: 2009-02-27 10:18:11 Procedural programming languages Fellows of the British Computer Society Turing Award laureates Knights Bachelor Tony Hoare ALGOL Hoare Software engineering Computing Programming language theory
17	An Interview with CHARLES ANTONY RICHARD HOARE OH 357 Add to Reading List Source URL: conservancy.umn.edu Language: English - Date: 2012-02-20 16:38:26 Procedural programming languages Fellows of the British Computer Society Turing Award laureates Knights Bachelor Tony Hoare Assertion ALGOL 68 Microsoft Research Go Computing Software engineering Computer programming